$\forall$$a$, $b$, $c$:$\mathbb{Q}$. ($\neg$($b$ = 0 $\in$ $\mathbb{Q}$)) $\Rightarrow$ ($\neg$($c$ = 0 $\in$ $\mathbb{Q}$)) $\Rightarrow$ (($a$/($b$/$c$)) = ($a$ $\ast$ $c$/$b$) $\in$ $\mathbb{Q}$)